1. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
2. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
3. Axiomatic set theory
پدیدآورنده : Takeuti, Gaisi,6291-, ]by[ G. Takeuti ]and[ W. M. Zaring
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T35
4. Axiomatic set theory
پدیدآورنده : / G. Takeuti, W. M. Zaring
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Axiomatic set theory
رده :
511
.
3
Ta-A
5. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
6. Introduction to axiomatic set theory
پدیدآورنده : / Gaisi Takeuti, Wilson M.Zaring
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Axiomatic set theory
رده :
511
.
322
T136i
1982
7. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Axiomatic set theory
رده :
QA
9
.
T25
8. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
9. Introduction to axiomatic set theory
پدیدآورنده : Gaisi Takeuti, Wilson M. Zaring,Title
موضوع : Axiomatic set theory
۴ نسخه از این کتاب در ۳ کتابخانه موجود است.
10. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1971
11. Introduction to axiomatic set theory
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory
رده :
QA
248
.
T353
1982
12. Introduction to axiomatic set theory
پدیدآورنده : / G. Takeuti, W. M. Zaring
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Axiomatic set theory
رده :
511
.
3
Ta-I
13. Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : Logic Symposia, )9791, Hakone-machi, Japan(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
891
14. Logic symposia, Hakone, 1979, 1980 : proceedings of Conference held in Hakone, Japan,March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G. H. Muller, G. Takeuti, and T. Tugue
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
891
15. Logic sympsia, Hakone 1979, 1980: repoceedings of conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980
پدیدآورنده : edited by G.H. Muller, G. Takeuti, and T. Tugue
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
891
16. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
17. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
18. Proof theory /
پدیدآورنده : Gaisi Takeuti
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
T34
1975
19. Proof theory
پدیدآورنده : Takeuti, Gaisi
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T34
1975
20. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
